A Type Notation for Scheme

This document describes a type system for a subset of Schem

Perspectives on Tobacco Product Waste: A Survey of Framework Convention Alliance Members' Knowledge, Attitudes, and Beliefs.

Cigarette butts (tobacco product waste (TPW)) are the single most collected item in environmental trash cleanups worldwide. This brief descriptive study used an online survey tool (Survey Monkey) to assess knowledge, attitudes, and beliefs among individuals representing the Framework Convention Alliance (FCA) about this issue. The FCA has about 350 members, including mainly non-governmental tobacco control advocacy groups that support implementation of the World Health Organization's (WHO) Framework Convention on Tobacco Control (FCTC). Although the response rate (28%) was low, respondents represented countries from all six WHO regions. The majority (62%) have heard the term TPW, and nearly all (99%) considered TPW as an environmental harm. Most (77%) indicated that the tobacco industry should be responsible for TPW mitigation, and 72% felt that smokers should also be held responsible. This baseline information may inform future international discussions by the FCTC Conference of the Parties (COP) regarding environmental policies that may be addressed within FCTC obligations. Additional research is planned regarding the entire lifecycle of tobacco's impact on the environment

FOAL 2004 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2004

Aspect-oriented programming is a paradigm in software engineering and FOAL logos courtesy of Luca Cardelli programming languages that promises better support for separation of concerns. The third Foundations of Aspect-Oriented Languages (FOAL) workshop was held at the Third International Conference on Aspect-Oriented Software Development in Lancaster, UK, on March 23, 2004. This workshop was designed to be a forum for research in formal foundations of aspect-oriented programming languages. The call for papers announced the areas of interest for FOAL as including, but not limited to: semantics of aspect-oriented languages, specification and verification for such languages, type systems, static analysis, theory of testing, theory of aspect composition, and theory of aspect translation (compilation) and rewriting. The call for papers welcomed all theoretical and foundational studies of foundations of aspect-oriented languages. The goals of this FOAL workshop were to: � Make progress on the foundations of aspect-oriented programming languages. � Exchange ideas about semantics and formal methods for aspect-oriented programming languages. � Foster interest within the programming language theory and types communities in aspect-oriented programming languages. � Foster interest within the formal methods community in aspect-oriented programming and the problems of reasoning about aspect-oriented programs. The papers at the workshop, which are included in the proceedings, were selected frompapers submitted by researchers worldwide. Due to time limitations at the workshop, not all of the submitted papers were selected for presentation. FOAL also welcomed an invited talk by James Riely (DePaul University), the abstract of which is included below. The workshop was organized by Gary T. Leavens (Iowa State University), Ralf L?ammel (CWI and Vrije Universiteit, Amsterdam), and Curtis Clifton (Iowa State University). The program committee was chaired by L?ammel and included L?ammel, Leavens, Clifton, Lodewijk Bergmans (University of Twente), John Tang Boyland (University of Wisconsin, Milwaukee), William R. Cook (University of Texas at Austin), Tzilla Elrad (Illinois Institute of Technology), Kathleen Fisher (AT&T Labs�Research), Radha Jagadeesan (DePaul University), Shmuel Katz (Technion�Israel Institute of Technology), Shriram Krishnamurthi (Brown University), Mira Mezini (Darmstadt University of Technology), Todd Millstein (University of California, Los Angeles), Benjamin C. Pierce (University of Pennsylvania), Henny Sipma (Stanford University), Mario S?udholt ( ?Ecole des Mines de Nantes), and David Walker (Princeton University). We thank the organizers of AOSD 2004 for hosting the workshop